Extracting Constraint Knowledge from Code: A Case-Based Reasoning Approach
نویسندگان
چکیده
The underlying motivation for the authors’ research on constraint understanding is comparative constraint understanding. The same constraint can be expressed in different ways in different models, and a comparative constraint-understanding system would be able to assess the extent to which two models have equivalent constraint semantics. Understanding constraint semantics can be used to support tasks such as mediation and mapping. This paper presents a prototype method for understanding constraints in code. In particular, it focuses on understanding the constraints in EXPRESS information models, for which an experimental computerised system has been implemented. A casebased reasoning approach is taken, in which cases suggest so-called higher-level constraints to extract from matching fragments of EXPRESS code.
منابع مشابه
INTEGRATING CASE-BASED REASONING, KNOWLEDGE-BASED APPROACH AND TSP ALGORITHM FOR MINIMUM TOUR FINDING
Imagine you have traveled to an unfamiliar city. Before you start your daily tour around the city, you need to know a good route. In Network Theory (NT), this is the traveling salesman problem (TSP). A dynamic programming algorithm is often used for solving this problem. However, when the road network of the city is very complicated and dense, which is usually the case, it will take too long fo...
متن کاملA Methodology for Extracting Ontological Knowledge from Spanish Documents
This paper presents a semi-automatic approach for extracting knowledge from natural language texts in Spanish. The knowledge is acquired and learned through the combination of NLP techniques for analyzing text fragments, the ontological technology for representing knowledge and MCRDR, a case-based reasoning methodology. This approach has been applied in the oncology domain and the results of th...
متن کاملIntegrated Reasoning Approach for Car Faulty Diagnosis
This paper presents an integrated case based and rule based reasoning method for car faulty diagnosis. The reasoning method is done through extracting the past cases from the Proton Service Center while comparing with the preset rules to deduce a diagnosis/solution to a car service case. New cases will be stored to the knowledge base. The test cases examples illustrate the effectiveness of the ...
متن کاملBelief Merging-Based Case Combination
Integrity constraint belief merging aims at producing from several knowledge bases, that may be mutually inconsistent, a synthetic knowledge base satisfying a given integrity constraint. It is applied here to case combination for case-based reasoning. This approach is shown to extend Eyke Hüllermeier’s credible case-based inference and to be reducible under some assumptions to linear programming.
متن کاملCase-based reasoning in employee rostering: learning repair strategies from domain experts
The development of methods for solving real world scheduling problems such as employee rostering requires the extensive domain knowledge of manual rostering experts. Rostering problems are subject to numerous conflicting constraints and are difficult to solve. Automated rostering has attracted the attention of the scientific community over the last three decades, however the systematic represen...
متن کامل